Implication and Axiomatization of Functional Constraints on Patterns with an Application to the RDF Data Model
نویسندگان
چکیده
Akhtar et al. introduced equality-generating constraints and functional constraints as an initial step towards dependency-like integrity constraints for RDF data [1]. Here, we focus on functional constraints. The usefulness of functional constraints is not limited to the RDF data model. Therefore, we study the functional constraints in the more general setting of relations with arbitrary arity. We show that a chase algorithm for functional constraints can be normalized to a more specialized symmetry-preserving chase algorithm. This symmetry-preserving chase algorithm is subsequently used to construct a sound and complete axiomatization for the functional constraints. This axiomatization is in particular applicable in the RDF data model, solving a major open problem
منابع مشابه
Soil Erosion Model Implication (Case Stady: Minab Basin)
Soil erosion is an inevitable phenomenon that additive erosion caused Soil degradation. Additive Soil erosion is one of the major obstacles to achieve the development of agriculture and natural resources. Thus, knowledge of the status and trends of soil erosion and sediment production in the watersheds is one of the most important tools for planning and decision-making. Models are the most popu...
متن کاملIn the Case of Maden Complex, Geochemical Constraints on the Origin and Tectonic Implication of Eocene Magmatism in SE Turkey
The origin and geodynamic setting of the Maden Complex, which is situated in the Bitlis–Zagros Suture Zone in the Southeast Anatolian Orogenic Belt, is still controversial due to lack of systematic geological and geochemical data. Here we present new whole rock major–trace–rare earth element data from the Middle Eocene volcanic rocks exposed in Maden Complex and discuss their origin in the ligh...
متن کاملA New Model Selection Test with Application to the Censored Data of Carbon Nanotubes Coating
Model selection of nano and micro droplet spreading can be widely used to predict and optimize of different coating processes such as ink jet printing, spray painting and plasma spraying. The idea of model selection is beginning with a set of data and rival models to choice the best one. The decision making on this set is an important question in statistical inference. Some tests and criteria a...
متن کاملModeling of the Maximum Entropy Problem as an Optimal Control Problem and its Application to Pdf Estimation of Electricity Price
In this paper, the continuous optimal control theory is used to model and solve the maximum entropy problem for a continuous random variable. The maximum entropy principle provides a method to obtain least-biased probability density function (Pdf) estimation. In this paper, to find a closed form solution for the maximum entropy problem with any number of moment constraints, the entropy is consi...
متن کاملاندازه گیری عملکرد بیمارستان
Introduction: The core requirement of successful and innovative organizations is doing right things and doing things right. Nowadays organizations are to perform excellently strategically and operationally so that they can face the current and future world challenges. Performance measurement is one of the ways in directing organization to the right targets and avoid diversity in practices. The ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014